Time-freeness and Clock-freeness and Related Concepts in P Systems
نویسندگان
چکیده
1 Institute of Mathematics and Computer Science Academy of Sciences of Moldova Academiei 5, Chişinău, MD-2028, Moldova [email protected] 2 Key Laboratory of Image Information Processing and Intelligent Control of Education Ministry of China, School of Automation, Huazhong University of Science and Technology, Wuhan 430074, China 3 Faculty of Informatics, TU Wien Favoritenstraße 9–11, 1040 Vienna, Austria [email protected] 4 LACL, Université Paris Est – Créteil Val de Marne 61, av. Général de Gaulle, 94010, Créteil, France [email protected] 5 TIMC-IMAG/DyCTiM, Faculty of Medicine of Grenoble, 5 avenue du Grand Sablon, 38700, La Tronche, France [email protected] 6 School of Electric and Information Engineering, Zhengzhou University of Light Industry, Zhengzhou 450002, China
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کامل-torsion free Acts Over Monoids
In this paper firt of all we introduce a generalization of torsion freeness of acts over monoids, called -torsion freeness. Then in section 1 of results we give some general properties and in sections 2, 3 and 4 we give a characterization of monoids for which this property of their right Rees factor, cyclic and acts in general implies some other properties, respectively.
متن کاملDeinking of Laser Printed Copy Paper by Chemical Different Treatments and Effect on Optical and Strength Properties of Paper
Paper recycling in an increasingly environmentally conscious world is gaining importance. Withrapid developments in deinking processes for the reuse of secondary fibers being made, therecycling process is become more and more efficient. This work investigated the effect ofchemical different treatments including H2O2 and NaOH on repulping and flotation operationsduring the deinking of laser prin...
متن کاملGeneralizing Envy-Freeness toward Group of Agents
Envy-freeness is a well-known fairness concept for analyzing mechanisms. Its traditional definition requires that no individual envies another individual. However, an individual (or a group of agents) may envy another group, even if she (or they) does not envy another individual. In mechanisms with monetary transfer, such as combinatorial auctions, considering such fairness requirements, which ...
متن کاملDistributed Property Testing for Subgraph-Freeness Revisited
In the subgraph-freeness problem, we are given a constant-size graph H, and wish to determine whether the network contains H as a subgraph or not. The property-testing relaxation of the problem only requires us to distinguish graphs that are H-free from graphs that are -far from H-free, in the sense that an -fraction of their edges must be removed to obtain an H-free graph. Recently, Censor-Hil...
متن کامل